\documentclass[11pt]{article}
\usepackage{vaucanson-g}
\begin{document}
\ShowGrid
\ShowFrame
\begin{VCPicture}{(-2,0)(12,12)}
%11 states
\State[q0]{(0,6)}{Q0} \State[q1]{(2,6)}{Q1} \State[q10]{(2,11)}{Q10}
\State[q2]{(7,6)}{Q2} \State[q3]{(4,7)}{Q3} \FinalState[q4]{(11,6)}{Q4}
\State[q5]{(2,4)}{Q5} \State[q6]{(9,5)}{Q6} \State[q7]{(11,2)}{Q7}
\State[q8]{(2,2)}{Q8} \State[q9]{(6,2)}{Q9}
%1 initial-final
\Initial{Q0}
%22 transitions
\LoopN{Q0}{c} \EdgeL{Q0}{Q1}{<}
\EdgeL{Q1}{Q3}{/} \EdgeL{Q3}{Q2}{c}
\EdgeL{Q10}{Q2}{c} \EdgeL{Q10}{Q4}{>}
\EdgeL{Q2}{Q4}{>} \EdgeR{Q7}{Q4}{>}
\LoopNE{Q2}{c} \EdgeL{Q1}{Q5}{!}
\EdgeL{Q5}{Q8}{-} \EdgeL{Q8}{Q9}{-}
\LoopN{Q9}{c} \EdgeL{Q6}{Q7}{-}
\EdgeL{Q7}{Q9}{c} \EdgeL{Q5}{Q2}{c}
\EdgeL{Q8}{Q2}{c} \EdgeR{Q2}{Q1}{<}
\ArcL[0.45]{Q10}{Q1}{<} \ArcL[0.45]{Q1}{Q10}{c}
\ArcL[0.45]{Q6}{Q9}{c} \ArcL[0.45]{Q9}{Q6}{-}
\end{VCPicture}
\end{document}
